integration of cos inverse x